<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
<meta http-equiv="X-UA-Compatible" content="IE=9"/>
<meta name="generator" content="Doxygen 1.8.6"/>
<title>SystemSharp: BehavioralAnalysis.cs Source File</title>
<link href="tabs.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="jquery.js"></script>
<script type="text/javascript" src="dynsections.js"></script>
<link href="navtree.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="resize.js"></script>
<script type="text/javascript" src="navtree.js"></script>
<script type="text/javascript">
  $(document).ready(initResizable);
  $(window).load(resizeHeight);
</script>
<link href="search/search.css" rel="stylesheet" type="text/css"/>
<script type="text/javascript" src="search/search.js"></script>
<script type="text/javascript">
  $(document).ready(function() { searchBox.OnSelectItem(0); });
</script>
<link href="doxygen.css" rel="stylesheet" type="text/css" />
</head>
<body>
<div id="top"><!-- do not remove this div, it is closed by doxygen! -->
<div id="titlearea">
<table cellspacing="0" cellpadding="0">
 <tbody>
 <tr style="height: 56px;">
  <td id="projectlogo"><img alt="Logo" src="logo.png"/></td>
  <td style="padding-left: 0.5em;">
   <div id="projectname">SystemSharp
   &#160;<span id="projectnumber">0.3</span>
   </div>
   <div id="projectbrief">A system-level modeling framework for designing real-time embedded systems</div>
  </td>
 </tr>
 </tbody>
</table>
</div>
<!-- end header part -->
<!-- Generated by Doxygen 1.8.6 -->
<script type="text/javascript">
var searchBox = new SearchBox("searchBox", "search",false,'Search');
</script>
  <div id="navrow1" class="tabs">
    <ul class="tablist">
      <li><a href="index.html"><span>Main&#160;Page</span></a></li>
      <li><a href="namespaces.html"><span>Packages</span></a></li>
      <li><a href="annotated.html"><span>Classes</span></a></li>
      <li class="current"><a href="files.html"><span>Files</span></a></li>
      <li>
        <div id="MSearchBox" class="MSearchBoxInactive">
        <span class="left">
          <img id="MSearchSelect" src="search/mag_sel.png"
               onmouseover="return searchBox.OnSearchSelectShow()"
               onmouseout="return searchBox.OnSearchSelectHide()"
               alt=""/>
          <input type="text" id="MSearchField" value="Search" accesskey="S"
               onfocus="searchBox.OnSearchFieldFocus(true)" 
               onblur="searchBox.OnSearchFieldFocus(false)" 
               onkeyup="searchBox.OnSearchFieldChange(event)"/>
          </span><span class="right">
            <a id="MSearchClose" href="javascript:searchBox.CloseResultsWindow()"><img id="MSearchCloseImg" border="0" src="search/close.png" alt=""/></a>
          </span>
        </div>
      </li>
    </ul>
  </div>
  <div id="navrow2" class="tabs2">
    <ul class="tablist">
      <li><a href="files.html"><span>File&#160;List</span></a></li>
      <li><a href="globals.html"><span>File&#160;Members</span></a></li>
    </ul>
  </div>
</div><!-- top -->
<div id="side-nav" class="ui-resizable side-nav-resizable">
  <div id="nav-tree">
    <div id="nav-tree-contents">
      <div id="nav-sync" class="sync"></div>
    </div>
  </div>
  <div id="splitbar" style="-moz-user-select:none;" 
       class="ui-resizable-handle">
  </div>
</div>
<script type="text/javascript">
$(document).ready(function(){initNavTree('_behavioral_analysis_8cs_source.html','');});
</script>
<div id="doc-content">
<!-- window showing the filter options -->
<div id="MSearchSelectWindow"
     onmouseover="return searchBox.OnSearchSelectShow()"
     onmouseout="return searchBox.OnSearchSelectHide()"
     onkeydown="return searchBox.OnSearchSelectKey(event)">
<a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(0)"><span class="SelectionMark">&#160;</span>All</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(1)"><span class="SelectionMark">&#160;</span>Classes</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(2)"><span class="SelectionMark">&#160;</span>Namespaces</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(3)"><span class="SelectionMark">&#160;</span>Files</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(4)"><span class="SelectionMark">&#160;</span>Functions</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(5)"><span class="SelectionMark">&#160;</span>Variables</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(6)"><span class="SelectionMark">&#160;</span>Typedefs</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(7)"><span class="SelectionMark">&#160;</span>Enumerations</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(8)"><span class="SelectionMark">&#160;</span>Enumerator</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(9)"><span class="SelectionMark">&#160;</span>Properties</a><a class="SelectItem" href="javascript:void(0)" onclick="searchBox.OnSelectItem(10)"><span class="SelectionMark">&#160;</span>Events</a></div>

<!-- iframe showing the search results (closed by default) -->
<div id="MSearchResultsWindow">
<iframe src="javascript:void(0)" frameborder="0" 
        name="MSearchResults" id="MSearchResults">
</iframe>
</div>

<div class="header">
  <div class="headertitle">
<div class="title">BehavioralAnalysis.cs</div>  </div>
</div><!--header-->
<div class="contents">
<a href="_behavioral_analysis_8cs.html">Go to the documentation of this file.</a><div class="fragment"><div class="line"><a name="l00001"></a><span class="lineno">    1</span>&#160;</div>
<div class="line"><a name="l00020"></a><span class="lineno">   20</span>&#160;<span class="keyword">using</span> System;</div>
<div class="line"><a name="l00021"></a><span class="lineno">   21</span>&#160;<span class="keyword">using</span> System.Collections.Generic;</div>
<div class="line"><a name="l00022"></a><span class="lineno">   22</span>&#160;<span class="keyword">using</span> System.Linq;</div>
<div class="line"><a name="l00023"></a><span class="lineno">   23</span>&#160;</div>
<div class="line"><a name="l00024"></a><span class="lineno">   24</span>&#160;<span class="comment">/* If the compiler complains about missing namespace System.Reactive, this is because you are missing the</span></div>
<div class="line"><a name="l00025"></a><span class="lineno">   25</span>&#160;<span class="comment"> * Microsoft Reactive extensions (&quot;Rx&quot;). Please follow instructions below.</span></div>
<div class="line"><a name="l00026"></a><span class="lineno">   26</span>&#160;<span class="comment"> * */</span></div>
<div class="line"><a name="l00027"></a><span class="lineno">   27</span>&#160;<span class="keyword">using</span> System.Reactive;</div>
<div class="line"><a name="l00028"></a><span class="lineno">   28</span>&#160;<span class="keyword">using</span> System.Reactive.Linq;</div>
<div class="line"><a name="l00029"></a><span class="lineno">   29</span>&#160;<span class="keyword">using</span> System.Reactive.Subjects;</div>
<div class="line"><a name="l00030"></a><span class="lineno">   30</span>&#160;<span class="comment">/* Actually, NuGet should automatically detect the missing references and install them from the Internet. </span></div>
<div class="line"><a name="l00031"></a><span class="lineno">   31</span>&#160;<span class="comment"> * It *should*... *actually*... Unfortunately, I observed some weird behavior where even re-installing Rx </span></div>
<div class="line"><a name="l00032"></a><span class="lineno">   32</span>&#160;<span class="comment"> *  did not fix the issue. If you get this particular problem, try this:</span></div>
<div class="line"><a name="l00033"></a><span class="lineno">   33</span>&#160;<span class="comment"> * </span></div>
<div class="line"><a name="l00034"></a><span class="lineno">   34</span>&#160;<span class="comment"> *   1. In solution explorer, expand &quot;References&quot; and delete all references starting with &quot;System.Reactive&quot;.</span></div>
<div class="line"><a name="l00035"></a><span class="lineno">   35</span>&#160;<span class="comment"> *      REMARK: These should me marked with a yellow explanation mark symbol - if they&#39;re not you either don&#39;t </span></div>
<div class="line"><a name="l00036"></a><span class="lineno">   36</span>&#160;<span class="comment"> *              have a problem, or you have a different problem.</span></div>
<div class="line"><a name="l00037"></a><span class="lineno">   37</span>&#160;<span class="comment"> *   2. Open the package manager console (Tools -&gt; Library Package Manager -&gt; Package Manager Console)</span></div>
<div class="line"><a name="l00038"></a><span class="lineno">   38</span>&#160;<span class="comment"> *      - Make sure &quot;SystemSharp&quot; is selected as &quot;Default project&quot;</span></div>
<div class="line"><a name="l00039"></a><span class="lineno">   39</span>&#160;<span class="comment"> *      - Type: </span></div>
<div class="line"><a name="l00040"></a><span class="lineno">   40</span>&#160;<span class="comment"> *        PM&gt; Uninstall-Package Rx-Main</span></div>
<div class="line"><a name="l00041"></a><span class="lineno">   41</span>&#160;<span class="comment"> *   3. In solution explorer, double click &quot;packages.config&quot; which will open a text editor.</span></div>
<div class="line"><a name="l00042"></a><span class="lineno">   42</span>&#160;<span class="comment"> *      - Delete all lines starting with &quot;&lt;package id=&quot;Rx-&quot;</span></div>
<div class="line"><a name="l00043"></a><span class="lineno">   43</span>&#160;<span class="comment"> *      - Save</span></div>
<div class="line"><a name="l00044"></a><span class="lineno">   44</span>&#160;<span class="comment"> *   4. Change back to the package manager console</span></div>
<div class="line"><a name="l00045"></a><span class="lineno">   45</span>&#160;<span class="comment"> *      - Type: </span></div>
<div class="line"><a name="l00046"></a><span class="lineno">   46</span>&#160;<span class="comment"> *        PM&gt; Install-Package Rx-Main</span></div>
<div class="line"><a name="l00047"></a><span class="lineno">   47</span>&#160;<span class="comment"> *      </span></div>
<div class="line"><a name="l00048"></a><span class="lineno">   48</span>&#160;<span class="comment"> * The last step should make the references to System.Reactive reappear without exclamation mark.</span></div>
<div class="line"><a name="l00049"></a><span class="lineno">   49</span>&#160;<span class="comment"> * If it doesn&#39;t - I&#39;m sorry - I have no clue...</span></div>
<div class="line"><a name="l00050"></a><span class="lineno">   50</span>&#160;<span class="comment"> * */</span></div>
<div class="line"><a name="l00051"></a><span class="lineno">   51</span>&#160;</div>
<div class="line"><a name="l00052"></a><span class="lineno">   52</span>&#160;<span class="keyword">using</span> System.Reflection;</div>
<div class="line"><a name="l00053"></a><span class="lineno">   53</span>&#160;<span class="keyword">using</span> System.Reflection.Emit;</div>
<div class="line"><a name="l00054"></a><span class="lineno">   54</span>&#160;<span class="keyword">using</span> System.Text;</div>
<div class="line"><a name="l00055"></a><span class="lineno">   55</span>&#160;<span class="keyword">using</span> SystemSharp.Algebraic;</div>
<div class="line"><a name="l00056"></a><span class="lineno">   56</span>&#160;<span class="keyword">using</span> SystemSharp.Analysis;</div>
<div class="line"><a name="l00057"></a><span class="lineno">   57</span>&#160;<span class="keyword">using</span> SystemSharp.Analysis.Msil;</div>
<div class="line"><a name="l00058"></a><span class="lineno">   58</span>&#160;<span class="keyword">using</span> SystemSharp.Common;</div>
<div class="line"><a name="l00059"></a><span class="lineno">   59</span>&#160;<span class="keyword">using</span> SystemSharp.Components;</div>
<div class="line"><a name="l00060"></a><span class="lineno">   60</span>&#160;<span class="keyword">using</span> SystemSharp.Components.Transactions;</div>
<div class="line"><a name="l00061"></a><span class="lineno">   61</span>&#160;<span class="keyword">using</span> SystemSharp.Meta;</div>
<div class="line"><a name="l00062"></a><span class="lineno">   62</span>&#160;<span class="keyword">using</span> SystemSharp.Meta.M2M;</div>
<div class="line"><a name="l00063"></a><span class="lineno">   63</span>&#160;<span class="keyword">using</span> SystemSharp.SysDOM;</div>
<div class="line"><a name="l00064"></a><span class="lineno">   64</span>&#160;<span class="keyword">using</span> SystemSharp.SysDOM.Analysis;</div>
<div class="line"><a name="l00065"></a><span class="lineno">   65</span>&#160;<span class="keyword">using</span> SystemSharp.SysDOM.Eval;</div>
<div class="line"><a name="l00066"></a><span class="lineno">   66</span>&#160;</div>
<div class="line"><a name="l00067"></a><span class="lineno">   67</span>&#160;<span class="keyword">namespace </span>SystemSharp.Analysis</div>
<div class="line"><a name="l00068"></a><span class="lineno">   68</span>&#160;{</div>
<div class="line"><a name="l00069"></a><span class="lineno"><a class="line" href="class_system_sharp_1_1_analysis_1_1_behavioral_analyzer.html">   69</a></span>&#160;    <span class="keyword">class </span><a class="code" href="class_system_sharp_1_1_analysis_1_1_behavioral_analyzer.html">BehavioralAnalyzer</a>        </div>
<div class="line"><a name="l00070"></a><span class="lineno">   70</span>&#160;    {</div>
<div class="line"><a name="l00071"></a><span class="lineno">   71</span>&#160;        <span class="keyword">private</span> <span class="keyword">class </span>MethodKey</div>
<div class="line"><a name="l00072"></a><span class="lineno">   72</span>&#160;        {</div>
<div class="line"><a name="l00073"></a><span class="lineno">   73</span>&#160;            <span class="keyword">private</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_method_descriptor.html">MethodDescriptor</a> _md;</div>
<div class="line"><a name="l00074"></a><span class="lineno">   74</span>&#160;</div>
<div class="line"><a name="l00075"></a><span class="lineno">   75</span>&#160;            <span class="keyword">public</span> MethodKey(<a class="code" href="class_system_sharp_1_1_meta_1_1_method_descriptor.html">MethodDescriptor</a> md)</div>
<div class="line"><a name="l00076"></a><span class="lineno">   76</span>&#160;            {</div>
<div class="line"><a name="l00077"></a><span class="lineno">   77</span>&#160;                _md = md;</div>
<div class="line"><a name="l00078"></a><span class="lineno">   78</span>&#160;            }</div>
<div class="line"><a name="l00079"></a><span class="lineno">   79</span>&#160;</div>
<div class="line"><a name="l00080"></a><span class="lineno">   80</span>&#160;            <span class="keyword">public</span> <span class="keyword">override</span> <span class="keywordtype">bool</span> Equals(<span class="keywordtype">object</span> obj)</div>
<div class="line"><a name="l00081"></a><span class="lineno">   81</span>&#160;            {</div>
<div class="line"><a name="l00082"></a><span class="lineno">   82</span>&#160;                var other = obj as MethodKey;</div>
<div class="line"><a name="l00083"></a><span class="lineno">   83</span>&#160;                <span class="keywordflow">if</span> (other == null)</div>
<div class="line"><a name="l00084"></a><span class="lineno">   84</span>&#160;                    <span class="keywordflow">return</span> <span class="keyword">false</span>;</div>
<div class="line"><a name="l00085"></a><span class="lineno">   85</span>&#160;</div>
<div class="line"><a name="l00086"></a><span class="lineno">   86</span>&#160;                <span class="keywordflow">return</span> _md.Method.Equals(other._md.Method) &amp;&amp;</div>
<div class="line"><a name="l00087"></a><span class="lineno">   87</span>&#160;                    _md.GetArguments()</div>
<div class="line"><a name="l00088"></a><span class="lineno">   88</span>&#160;                        .SequenceEqual(</div>
<div class="line"><a name="l00089"></a><span class="lineno">   89</span>&#160;                            other._md.GetArguments(), </div>
<div class="line"><a name="l00090"></a><span class="lineno">   90</span>&#160;                        <a class="code" href="class_system_sharp_1_1_meta_1_1_argument_descriptor.html">ArgumentDescriptor</a>.<a class="code" href="class_system_sharp_1_1_meta_1_1_argument_descriptor.html#a55ab29c171c7e9330c0f535e1dd84346">TypeAndDirectionComparer</a>);</div>
<div class="line"><a name="l00091"></a><span class="lineno">   91</span>&#160;            }</div>
<div class="line"><a name="l00092"></a><span class="lineno">   92</span>&#160;</div>
<div class="line"><a name="l00093"></a><span class="lineno">   93</span>&#160;            <span class="keyword">public</span> <span class="keyword">override</span> <span class="keywordtype">int</span> GetHashCode()</div>
<div class="line"><a name="l00094"></a><span class="lineno">   94</span>&#160;            {</div>
<div class="line"><a name="l00095"></a><span class="lineno">   95</span>&#160;                <span class="keywordtype">int</span> hash = _md.Method.GetHashCode();</div>
<div class="line"><a name="l00096"></a><span class="lineno">   96</span>&#160;                hash ^= _md.GetArguments().Aggregate(hash, (h, a) =&gt; </div>
<div class="line"><a name="l00097"></a><span class="lineno">   97</span>&#160;                    ((h &lt;&lt; 1) | (h &gt;&gt; 31)) ^ </div>
<div class="line"><a name="l00098"></a><span class="lineno">   98</span>&#160;                    ArgumentDescriptor.TypeAndDirectionComparer.GetHashCode(a));</div>
<div class="line"><a name="l00099"></a><span class="lineno">   99</span>&#160;                <span class="keywordflow">return</span> hash;</div>
<div class="line"><a name="l00100"></a><span class="lineno">  100</span>&#160;            }</div>
<div class="line"><a name="l00101"></a><span class="lineno">  101</span>&#160;        }</div>
<div class="line"><a name="l00102"></a><span class="lineno">  102</span>&#160;</div>
<div class="line"><a name="l00103"></a><span class="lineno">  103</span>&#160;        <span class="keyword">private</span> <a class="code" href="class_system_sharp_1_1_components_1_1_design_context.html">DesignContext</a> _context;</div>
<div class="line"><a name="l00104"></a><span class="lineno">  104</span>&#160;        <span class="keyword">private</span> Queue&lt;MethodCallInfo&gt; _methodQ = <span class="keyword">new</span> Queue&lt;MethodCallInfo&gt;();</div>
<div class="line"><a name="l00105"></a><span class="lineno">  105</span>&#160;        <span class="keyword">private</span> Dictionary&lt;MethodKey, Function&gt; _methodMap = <span class="keyword">new</span> Dictionary&lt;MethodKey, Function&gt;();</div>
<div class="line"><a name="l00106"></a><span class="lineno">  106</span>&#160;        <span class="keyword">private</span> List&lt;CodeDescriptor&gt; _allMethods = <span class="keyword">new</span> List&lt;CodeDescriptor&gt;();</div>
<div class="line"><a name="l00107"></a><span class="lineno">  107</span>&#160;</div>
<div class="line"><a name="l00108"></a><span class="lineno">  108</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> AnalyzeProcess(<a class="code" href="class_system_sharp_1_1_components_1_1_process.html">Process</a> process)</div>
<div class="line"><a name="l00109"></a><span class="lineno">  109</span>&#160;        {</div>
<div class="line"><a name="l00110"></a><span class="lineno">  110</span>&#160;            Action func = process.InitialAction;</div>
<div class="line"><a name="l00111"></a><span class="lineno">  111</span>&#160;            MethodInfo method = func.Method;</div>
<div class="line"><a name="l00112"></a><span class="lineno">  112</span>&#160;            List&lt;ISignalOrPortDescriptor&gt; sens = <span class="keyword">new</span> List&lt;ISignalOrPortDescriptor&gt;();</div>
<div class="line"><a name="l00113"></a><span class="lineno">  113</span>&#160;            <span class="keywordflow">if</span> (process.<a class="code" href="class_system_sharp_1_1_components_1_1_process.html#acd1831e67cad2d97f8c82236790e43d7">Sensitivity</a> != null)</div>
<div class="line"><a name="l00114"></a><span class="lineno">  114</span>&#160;            {</div>
<div class="line"><a name="l00115"></a><span class="lineno">  115</span>&#160;                <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_components_1_1_abstract_event.html">AbstractEvent</a> e <span class="keywordflow">in</span> process.<a class="code" href="class_system_sharp_1_1_components_1_1_process.html#acd1831e67cad2d97f8c82236790e43d7">Sensitivity</a>)</div>
<div class="line"><a name="l00116"></a><span class="lineno">  116</span>&#160;                {</div>
<div class="line"><a name="l00117"></a><span class="lineno">  117</span>&#160;                    <a class="code" href="class_system_sharp_1_1_components_1_1_design_object.html">DesignObject</a> owner = e.Owner;</div>
<div class="line"><a name="l00118"></a><span class="lineno">  118</span>&#160;                    <span class="keywordflow">if</span> (!(owner is <a class="code" href="class_system_sharp_1_1_components_1_1_signal_base.html">SignalBase</a>))</div>
<div class="line"><a name="l00119"></a><span class="lineno">  119</span>&#160;                    {</div>
<div class="line"><a name="l00120"></a><span class="lineno">  120</span>&#160;                        _context.Report(EIssueClass.Error,</div>
<div class="line"><a name="l00121"></a><span class="lineno">  121</span>&#160;                            <span class="stringliteral">&quot;Process &quot;</span> + method.Name + <span class="stringliteral">&quot; is sensitive to an event which is not owned by &quot;</span> +</div>
<div class="line"><a name="l00122"></a><span class="lineno">  122</span>&#160;                            <span class="stringliteral">&quot;a signal. This is currently not supported by the behavioral model.&quot;</span>);</div>
<div class="line"><a name="l00123"></a><span class="lineno">  123</span>&#160;                    }</div>
<div class="line"><a name="l00124"></a><span class="lineno">  124</span>&#160;                    <span class="keywordflow">else</span></div>
<div class="line"><a name="l00125"></a><span class="lineno">  125</span>&#160;                    {</div>
<div class="line"><a name="l00126"></a><span class="lineno">  126</span>&#160;                        var signal = (SignalBase)owner;</div>
<div class="line"><a name="l00127"></a><span class="lineno">  127</span>&#160;                        var spdesc = signal.Descriptor;</div>
<div class="line"><a name="l00128"></a><span class="lineno">  128</span>&#160;                        <span class="keywordflow">if</span> (spdesc == null)</div>
<div class="line"><a name="l00129"></a><span class="lineno">  129</span>&#160;                            <span class="keywordflow">throw</span> <span class="keyword">new</span> InvalidOperationException();</div>
<div class="line"><a name="l00130"></a><span class="lineno">  130</span>&#160;                        var sref = spdesc.AsSignalRef(SignalRef.EReferencedProperty.Instance)</div>
<div class="line"><a name="l00131"></a><span class="lineno">  131</span>&#160;                            .RelateToComponent(process.<a class="code" href="class_system_sharp_1_1_components_1_1_process.html#a93de3ff96241938372856cb1c58c0ea3">Owner</a>.<a class="code" href="class_system_sharp_1_1_components_1_1_component.html#a0fbf3618498aec1964b817cdd0742890">Descriptor</a>);</div>
<div class="line"><a name="l00132"></a><span class="lineno">  132</span>&#160;                        <span class="keywordflow">if</span> (sref == null)</div>
<div class="line"><a name="l00133"></a><span class="lineno">  133</span>&#160;                            ReportError(<span class="stringliteral">&quot;Did not find a matching port for signal &quot;</span> + signal.Descriptor.Name);</div>
<div class="line"><a name="l00134"></a><span class="lineno">  134</span>&#160;                        <span class="keywordflow">else</span></div>
<div class="line"><a name="l00135"></a><span class="lineno">  135</span>&#160;                            sens.Add(sref.Desc);</div>
<div class="line"><a name="l00136"></a><span class="lineno">  136</span>&#160;                    }</div>
<div class="line"><a name="l00137"></a><span class="lineno">  137</span>&#160;                }</div>
<div class="line"><a name="l00138"></a><span class="lineno">  138</span>&#160;            }</div>
<div class="line"><a name="l00139"></a><span class="lineno">  139</span>&#160;            <a class="code" href="class_system_sharp_1_1_meta_1_1_process_descriptor.html">ProcessDescriptor</a> pd = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_process_descriptor.html">ProcessDescriptor</a>(method, process)</div>
<div class="line"><a name="l00140"></a><span class="lineno">  140</span>&#160;            {</div>
<div class="line"><a name="l00141"></a><span class="lineno">  141</span>&#160;                Sensitivity = sens.ToArray(),</div>
<div class="line"><a name="l00142"></a><span class="lineno">  142</span>&#160;                Owner = process.<a class="code" href="class_system_sharp_1_1_components_1_1_process.html#a93de3ff96241938372856cb1c58c0ea3">Owner</a>.<a class="code" href="class_system_sharp_1_1_components_1_1_component.html#a0fbf3618498aec1964b817cdd0742890">Descriptor</a></div>
<div class="line"><a name="l00143"></a><span class="lineno">  143</span>&#160;            };</div>
<div class="line"><a name="l00144"></a><span class="lineno">  144</span>&#160;            <span class="comment">//DecompileAndEnqueueCallees(pd, process.Owner, new object[] { process.Owner });</span></div>
<div class="line"><a name="l00145"></a><span class="lineno">  145</span>&#160;            DecompileAndEnqueueCallees(pd, func.Target, <span class="keyword">new</span> <span class="keywordtype">object</span>[] { process.<a class="code" href="class_system_sharp_1_1_components_1_1_process.html#a93de3ff96241938372856cb1c58c0ea3">Owner</a> });</div>
<div class="line"><a name="l00146"></a><span class="lineno">  146</span>&#160;            process.Owner.Descriptor.AddChild(pd, method.Name);</div>
<div class="line"><a name="l00147"></a><span class="lineno">  147</span>&#160;        }</div>
<div class="line"><a name="l00148"></a><span class="lineno">  148</span>&#160;</div>
<div class="line"><a name="l00149"></a><span class="lineno">  149</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> ReportError(<span class="keywordtype">string</span> message)</div>
<div class="line"><a name="l00150"></a><span class="lineno">  150</span>&#160;        {</div>
<div class="line"><a name="l00151"></a><span class="lineno">  151</span>&#160;            _context.Report(EIssueClass.Error, message);</div>
<div class="line"><a name="l00152"></a><span class="lineno">  152</span>&#160;        }</div>
<div class="line"><a name="l00153"></a><span class="lineno">  153</span>&#160;</div>
<div class="line"><a name="l00154"></a><span class="lineno">  154</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> DecompileAndEnqueueCallees(<a class="code" href="class_system_sharp_1_1_meta_1_1_code_descriptor.html">CodeDescriptor</a> cd, <span class="keywordtype">object</span> instance, <span class="keywordtype">object</span>[] arguments, <a class="code" href="class_system_sharp_1_1_analysis_1_1_method_call_info.html">MethodCallInfo</a> mymci = null)</div>
<div class="line"><a name="l00155"></a><span class="lineno">  155</span>&#160;        {</div>
<div class="line"><a name="l00156"></a><span class="lineno">  156</span>&#160;            <a class="code" href="interface_system_sharp_1_1_meta_1_1_i_package_or_component_descriptor.html">IPackageOrComponentDescriptor</a> owner = cd.Owner as <a class="code" href="interface_system_sharp_1_1_meta_1_1_i_package_or_component_descriptor.html">IPackageOrComponentDescriptor</a>;</div>
<div class="line"><a name="l00157"></a><span class="lineno">  157</span>&#160;</div>
<div class="line"><a name="l00158"></a><span class="lineno">  158</span>&#160;            var rmd = cd.Method.GetCustomOrInjectedAttribute&lt;<a class="code" href="class_system_sharp_1_1_components_1_1_rewrite_method_definition.html">RewriteMethodDefinition</a>&gt;();</div>
<div class="line"><a name="l00159"></a><span class="lineno">  159</span>&#160;</div>
<div class="line"><a name="l00160"></a><span class="lineno">  160</span>&#160;            <a class="code" href="interface_system_sharp_1_1_analysis_1_1_i_decompilation_result.html">IDecompilationResult</a> result;</div>
<div class="line"><a name="l00161"></a><span class="lineno">  161</span>&#160;</div>
<div class="line"><a name="l00162"></a><span class="lineno">  162</span>&#160;            var md = cd as <a class="code" href="class_system_sharp_1_1_meta_1_1_method_descriptor.html">MethodDescriptor</a>;</div>
<div class="line"><a name="l00163"></a><span class="lineno">  163</span>&#160;            var pd = cd as <a class="code" href="class_system_sharp_1_1_meta_1_1_process_descriptor.html">ProcessDescriptor</a>;</div>
<div class="line"><a name="l00164"></a><span class="lineno">  164</span>&#160;            <span class="keywordflow">if</span> (pd != null)</div>
<div class="line"><a name="l00165"></a><span class="lineno">  165</span>&#160;                _context.CurrentProcess = pd.Instance;</div>
<div class="line"><a name="l00166"></a><span class="lineno">  166</span>&#160;            <span class="keywordflow">else</span></div>
<div class="line"><a name="l00167"></a><span class="lineno">  167</span>&#160;                _context.CurrentProcess = md.CallingProcess.Instance;</div>
<div class="line"><a name="l00168"></a><span class="lineno">  168</span>&#160;</div>
<div class="line"><a name="l00169"></a><span class="lineno">  169</span>&#160;            <a class="code" href="namespace_system_sharp_1_1_analysis_1_1_msil.html#a414dbb6e07d44baf0e522f23507f6b04">EVariability</a>[] argVar;</div>
<div class="line"><a name="l00170"></a><span class="lineno">  170</span>&#160;            <span class="keywordflow">if</span> (md == null)</div>
<div class="line"><a name="l00171"></a><span class="lineno">  171</span>&#160;                argVar = <span class="keyword">new</span> <a class="code" href="namespace_system_sharp_1_1_analysis_1_1_msil.html#a414dbb6e07d44baf0e522f23507f6b04">EVariability</a>[0];</div>
<div class="line"><a name="l00172"></a><span class="lineno">  172</span>&#160;            <span class="keywordflow">else</span></div>
<div class="line"><a name="l00173"></a><span class="lineno">  173</span>&#160;                argVar = md.ArgVariabilities;</div>
<div class="line"><a name="l00174"></a><span class="lineno">  174</span>&#160;            <span class="keywordflow">if</span> (rmd != null)</div>
<div class="line"><a name="l00175"></a><span class="lineno">  175</span>&#160;            {</div>
<div class="line"><a name="l00176"></a><span class="lineno">  176</span>&#160;                result = rmd.Rewrite(_context, cd, instance, arguments);</div>
<div class="line"><a name="l00177"></a><span class="lineno">  177</span>&#160;            }</div>
<div class="line"><a name="l00178"></a><span class="lineno">  178</span>&#160;            <span class="keywordflow">else</span> <span class="keywordflow">if</span> (cd.<a class="code" href="class_system_sharp_1_1_meta_1_1_code_descriptor.html#a223dffef12b00e67f5c3a16a168d5de7">Method</a>.IsMoveNext())</div>
<div class="line"><a name="l00179"></a><span class="lineno">  179</span>&#160;            {</div>
<div class="line"><a name="l00180"></a><span class="lineno">  180</span>&#160;                var decomp = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_async_method_decompiler.html">AsyncMethodDecompiler</a>(_context, cd, instance, arguments);</div>
<div class="line"><a name="l00181"></a><span class="lineno">  181</span>&#160;                result = decomp.Decompile();</div>
<div class="line"><a name="l00182"></a><span class="lineno">  182</span>&#160;                cd.Implementation = result.Decompiled;</div>
<div class="line"><a name="l00183"></a><span class="lineno">  183</span>&#160;                cd.GenuineImplementation = result.Decompiled;</div>
<div class="line"><a name="l00184"></a><span class="lineno">  184</span>&#160;            }</div>
<div class="line"><a name="l00185"></a><span class="lineno">  185</span>&#160;            <span class="keywordflow">else</span></div>
<div class="line"><a name="l00186"></a><span class="lineno">  186</span>&#160;            {</div>
<div class="line"><a name="l00187"></a><span class="lineno">  187</span>&#160;                var decomp = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_m_s_i_l_decompiler.html">MSILDecompiler</a>(cd, instance, arguments, argVar);</div>
<div class="line"><a name="l00188"></a><span class="lineno">  188</span>&#160;                <span class="keywordflow">if</span> (cd is ProcessDescriptor)</div>
<div class="line"><a name="l00189"></a><span class="lineno">  189</span>&#160;                {</div>
<div class="line"><a name="l00190"></a><span class="lineno">  190</span>&#160;                    decomp.Template.DisallowReturnStatements = <span class="keyword">true</span>;</div>
<div class="line"><a name="l00191"></a><span class="lineno">  191</span>&#160;                }</div>
<div class="line"><a name="l00192"></a><span class="lineno">  192</span>&#160;                decomp.Template.DisallowConditionals = <span class="keyword">true</span>;</div>
<div class="line"><a name="l00193"></a><span class="lineno">  193</span>&#160;                <span class="keywordflow">if</span> (mymci != null)</div>
<div class="line"><a name="l00194"></a><span class="lineno">  194</span>&#160;                    mymci.Inherit(decomp.Template);</div>
<div class="line"><a name="l00195"></a><span class="lineno">  195</span>&#160;                result = decomp.Decompile();</div>
<div class="line"><a name="l00196"></a><span class="lineno">  196</span>&#160;                cd.Implementation = result.Decompiled;</div>
<div class="line"><a name="l00197"></a><span class="lineno">  197</span>&#160;                cd.GenuineImplementation = result.Decompiled;</div>
<div class="line"><a name="l00198"></a><span class="lineno">  198</span>&#160;            }</div>
<div class="line"><a name="l00199"></a><span class="lineno">  199</span>&#160;</div>
<div class="line"><a name="l00200"></a><span class="lineno">  200</span>&#160;            <span class="keywordflow">foreach</span> (var mci <span class="keywordflow">in</span> result.CalledMethods)</div>
<div class="line"><a name="l00201"></a><span class="lineno">  201</span>&#160;            {</div>
<div class="line"><a name="l00202"></a><span class="lineno">  202</span>&#160;                _methodQ.Enqueue(mci);</div>
<div class="line"><a name="l00203"></a><span class="lineno">  203</span>&#160;            }</div>
<div class="line"><a name="l00204"></a><span class="lineno">  204</span>&#160;            <span class="keywordflow">foreach</span> (var fri <span class="keywordflow">in</span> result.ReferencedFields)</div>
<div class="line"><a name="l00205"></a><span class="lineno">  205</span>&#160;            {</div>
<div class="line"><a name="l00206"></a><span class="lineno">  206</span>&#160;                AnalyzeFieldRef(fri, cd);</div>
<div class="line"><a name="l00207"></a><span class="lineno">  207</span>&#160;            }</div>
<div class="line"><a name="l00208"></a><span class="lineno">  208</span>&#160;</div>
<div class="line"><a name="l00209"></a><span class="lineno">  209</span>&#160;            _allMethods.Add(cd);</div>
<div class="line"><a name="l00210"></a><span class="lineno">  210</span>&#160;        }</div>
<div class="line"><a name="l00211"></a><span class="lineno">  211</span>&#160;</div>
<div class="line"><a name="l00212"></a><span class="lineno">  212</span>&#160;        <span class="keyword">private</span> MethodDescriptor ConstructMethodDescriptor(<a class="code" href="class_system_sharp_1_1_analysis_1_1_method_call_info.html">MethodCallInfo</a> mci, <span class="keywordtype">bool</span> special)</div>
<div class="line"><a name="l00213"></a><span class="lineno">  213</span>&#160;        {</div>
<div class="line"><a name="l00214"></a><span class="lineno">  214</span>&#160;            MethodBase method = mci.GetStrongestOverride();</div>
<div class="line"><a name="l00215"></a><span class="lineno">  215</span>&#160;            MethodDescriptor md = <span class="keyword">new</span> MethodDescriptor(</div>
<div class="line"><a name="l00216"></a><span class="lineno">  216</span>&#160;                method, </div>
<div class="line"><a name="l00217"></a><span class="lineno">  217</span>&#160;                mci.<a class="code" href="class_system_sharp_1_1_analysis_1_1_method_call_info.html#a314c08b450e997c9546dd0c9852bb029">EvaluatedArgumentsWithoutThis</a>, </div>
<div class="line"><a name="l00218"></a><span class="lineno">  218</span>&#160;                special ? mci.<a class="code" href="class_system_sharp_1_1_analysis_1_1_method_call_info.html#a4eb05e710e0a5382b1dab6e27766af96">ArgumentVariabilities</a> : <a class="code" href="class_system_sharp_1_1_analysis_1_1_msil_1_1_variability_pattern.html">VariabilityPattern</a>.<a class="code" href="class_system_sharp_1_1_analysis_1_1_msil_1_1_variability_pattern.html#a59c8cd2cf934caeafaf83d9f0a70082f">CreateDefault</a>(method).Pattern);</div>
<div class="line"><a name="l00219"></a><span class="lineno">  219</span>&#160;            var caller = mci.CallerTemplate.Decompilee;</div>
<div class="line"><a name="l00220"></a><span class="lineno">  220</span>&#160;            var callerPd = caller as ProcessDescriptor;</div>
<div class="line"><a name="l00221"></a><span class="lineno">  221</span>&#160;            var callerMd = caller as MethodDescriptor;</div>
<div class="line"><a name="l00222"></a><span class="lineno">  222</span>&#160;            <span class="keywordflow">if</span> (callerPd != null)</div>
<div class="line"><a name="l00223"></a><span class="lineno">  223</span>&#160;                md.CallingProcess = callerPd;</div>
<div class="line"><a name="l00224"></a><span class="lineno">  224</span>&#160;            <span class="keywordflow">else</span></div>
<div class="line"><a name="l00225"></a><span class="lineno">  225</span>&#160;                md.CallingProcess = callerMd.CallingProcess;</div>
<div class="line"><a name="l00226"></a><span class="lineno">  226</span>&#160;</div>
<div class="line"><a name="l00227"></a><span class="lineno">  227</span>&#160;            <span class="keywordflow">return</span> md;</div>
<div class="line"><a name="l00228"></a><span class="lineno">  228</span>&#160;        }</div>
<div class="line"><a name="l00229"></a><span class="lineno">  229</span>&#160;</div>
<div class="line"><a name="l00230"></a><span class="lineno">  230</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> Resolve(<a class="code" href="class_system_sharp_1_1_analysis_1_1_method_call_info.html">MethodCallInfo</a> mci)</div>
<div class="line"><a name="l00231"></a><span class="lineno">  231</span>&#160;        {</div>
<div class="line"><a name="l00232"></a><span class="lineno">  232</span>&#160;            <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_function.html">Function</a> genericImpl;</div>
<div class="line"><a name="l00233"></a><span class="lineno">  233</span>&#160;            var md = ConstructMethodDescriptor(mci, <span class="keyword">false</span>);</div>
<div class="line"><a name="l00234"></a><span class="lineno">  234</span>&#160;            <span class="keywordflow">if</span> (md == null)</div>
<div class="line"><a name="l00235"></a><span class="lineno">  235</span>&#160;                <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00236"></a><span class="lineno">  236</span>&#160;            <span class="keywordtype">object</span> instance = mci.Instance;</div>
<div class="line"><a name="l00237"></a><span class="lineno">  237</span>&#160;            <span class="keywordtype">bool</span> hasThis = md.Method.CallingConvention.HasFlag(CallingConventions.HasThis);</div>
<div class="line"><a name="l00238"></a><span class="lineno">  238</span>&#160;            <span class="keywordflow">if</span> (hasThis)</div>
<div class="line"><a name="l00239"></a><span class="lineno">  239</span>&#160;            {</div>
<div class="line"><a name="l00240"></a><span class="lineno">  240</span>&#160;                <span class="keywordflow">if</span> (instance != null)</div>
<div class="line"><a name="l00241"></a><span class="lineno">  241</span>&#160;                {</div>
<div class="line"><a name="l00242"></a><span class="lineno">  242</span>&#160;                    var owner = instance as <a class="code" href="class_system_sharp_1_1_components_1_1_component.html">Component</a>;</div>
<div class="line"><a name="l00243"></a><span class="lineno">  243</span>&#160;                    <span class="keywordflow">if</span> (owner == null)</div>
<div class="line"><a name="l00244"></a><span class="lineno">  244</span>&#160;                    {</div>
<div class="line"><a name="l00245"></a><span class="lineno">  245</span>&#160;                        ReportError(<span class="stringliteral">&quot;Method &quot;</span> + md.Method.Name + <span class="stringliteral">&quot; is not declared inside a component.&quot;</span>);</div>
<div class="line"><a name="l00246"></a><span class="lineno">  246</span>&#160;                    }</div>
<div class="line"><a name="l00247"></a><span class="lineno">  247</span>&#160;                    <span class="keywordflow">else</span></div>
<div class="line"><a name="l00248"></a><span class="lineno">  248</span>&#160;                    {</div>
<div class="line"><a name="l00249"></a><span class="lineno">  249</span>&#160;                        md.Owner = owner.Descriptor;</div>
<div class="line"><a name="l00250"></a><span class="lineno">  250</span>&#160;                    }</div>
<div class="line"><a name="l00251"></a><span class="lineno">  251</span>&#160;                }</div>
<div class="line"><a name="l00252"></a><span class="lineno">  252</span>&#160;                <span class="keywordflow">else</span></div>
<div class="line"><a name="l00253"></a><span class="lineno">  253</span>&#160;                {</div>
<div class="line"><a name="l00254"></a><span class="lineno">  254</span>&#160;                    ReportError(<span class="stringliteral">&quot;Method &quot;</span> + md.Method.Name + <span class="stringliteral">&quot;: unable to resolve declaring component instance.&quot;</span>);</div>
<div class="line"><a name="l00255"></a><span class="lineno">  255</span>&#160;                }</div>
<div class="line"><a name="l00256"></a><span class="lineno">  256</span>&#160;            }</div>
<div class="line"><a name="l00257"></a><span class="lineno">  257</span>&#160;            <span class="keywordflow">else</span></div>
<div class="line"><a name="l00258"></a><span class="lineno">  258</span>&#160;            {</div>
<div class="line"><a name="l00259"></a><span class="lineno">  259</span>&#160;                md.Owner = GetPackageDescriptor(md.Method.DeclaringType);</div>
<div class="line"><a name="l00260"></a><span class="lineno">  260</span>&#160;            }</div>
<div class="line"><a name="l00261"></a><span class="lineno">  261</span>&#160;            var key = <span class="keyword">new</span> MethodKey(md);</div>
<div class="line"><a name="l00262"></a><span class="lineno">  262</span>&#160;            <span class="keywordflow">if</span> (_methodMap.TryGetValue(key, out genericImpl))</div>
<div class="line"><a name="l00263"></a><span class="lineno">  263</span>&#160;            {</div>
<div class="line"><a name="l00264"></a><span class="lineno">  264</span>&#160;                md.Implementation = genericImpl;</div>
<div class="line"><a name="l00265"></a><span class="lineno">  265</span>&#160;            }</div>
<div class="line"><a name="l00266"></a><span class="lineno">  266</span>&#160;            <span class="keywordflow">else</span></div>
<div class="line"><a name="l00267"></a><span class="lineno">  267</span>&#160;            {</div>
<div class="line"><a name="l00268"></a><span class="lineno">  268</span>&#160;                DecompileAndEnqueueCallees(md, instance, md.ArgValueSamples, mci);</div>
<div class="line"><a name="l00269"></a><span class="lineno">  269</span>&#160;                System.Diagnostics.Debug.Assert(md.Implementation != null);</div>
<div class="line"><a name="l00270"></a><span class="lineno">  270</span>&#160;                _methodMap[key] = md.Implementation;</div>
<div class="line"><a name="l00271"></a><span class="lineno">  271</span>&#160;            }</div>
<div class="line"><a name="l00272"></a><span class="lineno">  272</span>&#160;</div>
<div class="line"><a name="l00273"></a><span class="lineno">  273</span>&#160;            System.Diagnostics.Debug.Assert(md.Implementation != null);</div>
<div class="line"><a name="l00274"></a><span class="lineno">  274</span>&#160;            <span class="keywordflow">if</span> (md.Owner != null)</div>
<div class="line"><a name="l00275"></a><span class="lineno">  275</span>&#160;                md = md.Owner.Canonicalize(md);</div>
<div class="line"><a name="l00276"></a><span class="lineno">  276</span>&#160;</div>
<div class="line"><a name="l00277"></a><span class="lineno">  277</span>&#160;            var mds = ConstructMethodDescriptor(mci, <span class="keyword">true</span>);</div>
<div class="line"><a name="l00278"></a><span class="lineno">  278</span>&#160;            mds.Owner = md.Owner;</div>
<div class="line"><a name="l00279"></a><span class="lineno">  279</span>&#160;            DecompileAndEnqueueCallees(mds, instance, mds.ArgValueSamples, mci);</div>
<div class="line"><a name="l00280"></a><span class="lineno">  280</span>&#160;            System.Diagnostics.Debug.Assert(mds.Implementation != null);</div>
<div class="line"><a name="l00281"></a><span class="lineno">  281</span>&#160;            mci.Resolve(md, mds);</div>
<div class="line"><a name="l00282"></a><span class="lineno">  282</span>&#160;        }</div>
<div class="line"><a name="l00283"></a><span class="lineno">  283</span>&#160;</div>
<div class="line"><a name="l00284"></a><span class="lineno">  284</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> ProcessMethodWorkSet()</div>
<div class="line"><a name="l00285"></a><span class="lineno">  285</span>&#160;        {</div>
<div class="line"><a name="l00286"></a><span class="lineno">  286</span>&#160;            <span class="keywordflow">while</span> (_methodQ.Count &gt; 0)</div>
<div class="line"><a name="l00287"></a><span class="lineno">  287</span>&#160;            {</div>
<div class="line"><a name="l00288"></a><span class="lineno">  288</span>&#160;                <a class="code" href="class_system_sharp_1_1_analysis_1_1_method_call_info.html">MethodCallInfo</a> mci = _methodQ.Dequeue();</div>
<div class="line"><a name="l00289"></a><span class="lineno">  289</span>&#160;                MethodBase method = mci.GetStrongestOverride();</div>
<div class="line"><a name="l00290"></a><span class="lineno">  290</span>&#160;                <span class="keywordflow">if</span> (<a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html">FactUniverse</a>.<a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a6332f1bbbf7abf8abcabe24198fa8221">Instance</a>.<a class="code" href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a32156668326303f20c83b5b60600be15">HaveFacts</a>(method) &amp;&amp;</div>
<div class="line"><a name="l00291"></a><span class="lineno">  291</span>&#160;                    FactUniverse.Instance.GetFacts(method).IsDecompilable)</div>
<div class="line"><a name="l00292"></a><span class="lineno">  292</span>&#160;                {</div>
<div class="line"><a name="l00293"></a><span class="lineno">  293</span>&#160;                    Resolve(mci);</div>
<div class="line"><a name="l00294"></a><span class="lineno">  294</span>&#160;                }</div>
<div class="line"><a name="l00295"></a><span class="lineno">  295</span>&#160;            }</div>
<div class="line"><a name="l00296"></a><span class="lineno">  296</span>&#160;        }</div>
<div class="line"><a name="l00297"></a><span class="lineno">  297</span>&#160;</div>
<div class="line"><a name="l00298"></a><span class="lineno">  298</span>&#160;        <span class="keyword">private</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_package_descriptor.html">PackageDescriptor</a> GetPackageDescriptor(Type type)</div>
<div class="line"><a name="l00299"></a><span class="lineno">  299</span>&#160;        {</div>
<div class="line"><a name="l00300"></a><span class="lineno">  300</span>&#160;            <span class="keywordflow">return</span> _context.TypeLib.GetPackage(type);</div>
<div class="line"><a name="l00301"></a><span class="lineno">  301</span>&#160;        }</div>
<div class="line"><a name="l00302"></a><span class="lineno">  302</span>&#160;</div>
<div class="line"><a name="l00303"></a><span class="lineno">  303</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> AnalyzeFieldRef(<a class="code" href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html">FieldRefInfo</a> fri, <a class="code" href="class_system_sharp_1_1_meta_1_1_code_descriptor.html">CodeDescriptor</a> code)</div>
<div class="line"><a name="l00304"></a><span class="lineno">  304</span>&#160;        {</div>
<div class="line"><a name="l00305"></a><span class="lineno">  305</span>&#160;            Type fieldType = fri.Field.FieldType;</div>
<div class="line"><a name="l00306"></a><span class="lineno">  306</span>&#160;            <span class="keywordtype">object</span>[] attrs = fieldType.GetCustomAttributes(typeof(<a class="code" href="class_system_sharp_1_1_components_1_1_map_to_intrinsic_type.html">MapToIntrinsicType</a>), <span class="keyword">false</span>);</div>
<div class="line"><a name="l00307"></a><span class="lineno">  307</span>&#160;            <span class="keywordflow">if</span> (attrs.Length == 0)</div>
<div class="line"><a name="l00308"></a><span class="lineno">  308</span>&#160;            {</div>
<div class="line"><a name="l00309"></a><span class="lineno">  309</span>&#160;                <span class="keywordflow">if</span> (fri.<a class="code" href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#aab9d9091c5da933510b96d70c67effd9">IsWritten</a> &amp;&amp; !fieldType.IsValueType)</div>
<div class="line"><a name="l00310"></a><span class="lineno">  310</span>&#160;                {</div>
<div class="line"><a name="l00311"></a><span class="lineno">  311</span>&#160;                    ReportError(<span class="stringliteral">&quot;Illegal write access to field &quot;</span> +</div>
<div class="line"><a name="l00312"></a><span class="lineno">  312</span>&#160;                        fri.<a class="code" href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#a12e523ea2f5e76d764e745e973e9f827">Field</a>.Name + <span class="stringliteral">&quot; of class &quot;</span> + fri.<a class="code" href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#a12e523ea2f5e76d764e745e973e9f827">Field</a>.DeclaringType.Name + <span class="stringliteral">&quot;: At runtime, &quot;</span> +</div>
<div class="line"><a name="l00313"></a><span class="lineno">  313</span>&#160;                        <span class="stringliteral">&quot;only value types may be written.&quot;</span>);</div>
<div class="line"><a name="l00314"></a><span class="lineno">  314</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00315"></a><span class="lineno">  315</span>&#160;                }</div>
<div class="line"><a name="l00316"></a><span class="lineno">  316</span>&#160;                <span class="keywordflow">if</span> (fri.<a class="code" href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#aab9d9091c5da933510b96d70c67effd9">IsWritten</a> &amp;&amp; fri.<a class="code" href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#a12e523ea2f5e76d764e745e973e9f827">Field</a>.IsStatic)</div>
<div class="line"><a name="l00317"></a><span class="lineno">  317</span>&#160;                {</div>
<div class="line"><a name="l00318"></a><span class="lineno">  318</span>&#160;                    ReportError(<span class="stringliteral">&quot;Illegal write access to field &quot;</span> +</div>
<div class="line"><a name="l00319"></a><span class="lineno">  319</span>&#160;                        fri.<a class="code" href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#a12e523ea2f5e76d764e745e973e9f827">Field</a>.Name + <span class="stringliteral">&quot; of class &quot;</span> + fri.<a class="code" href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#a12e523ea2f5e76d764e745e973e9f827">Field</a>.DeclaringType.Name + <span class="stringliteral">&quot;: At runtime, &quot;</span> +</div>
<div class="line"><a name="l00320"></a><span class="lineno">  320</span>&#160;                        <span class="stringliteral">&quot;only non-static fields may be written.&quot;</span>);</div>
<div class="line"><a name="l00321"></a><span class="lineno">  321</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00322"></a><span class="lineno">  322</span>&#160;                }</div>
<div class="line"><a name="l00323"></a><span class="lineno">  323</span>&#160;                <span class="keywordflow">if</span> (fri.<a class="code" href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#a540480df2cc80dd1fc1e9f4ccefb9b00">IsRead</a> &amp;&amp; !fieldType.IsValueType &amp;&amp; !fieldType.IsArray)</div>
<div class="line"><a name="l00324"></a><span class="lineno">  324</span>&#160;                {</div>
<div class="line"><a name="l00325"></a><span class="lineno">  325</span>&#160;                    <span class="comment">//FIXME</span></div>
<div class="line"><a name="l00326"></a><span class="lineno">  326</span>&#160;                    <span class="comment">// E.g. DesignContext.Instance is allowed...</span></div>
<div class="line"><a name="l00327"></a><span class="lineno">  327</span>&#160;                    <span class="comment">/*</span></div>
<div class="line"><a name="l00328"></a><span class="lineno">  328</span>&#160;<span class="comment">                    ReportError(&quot;Illegal read access to field &quot; + fri.Field.Name + &quot; of class &quot; +</span></div>
<div class="line"><a name="l00329"></a><span class="lineno">  329</span>&#160;<span class="comment">                        fri.Field.DeclaringType.Name + &quot;: At runtime, only value types and arrays &quot; +</span></div>
<div class="line"><a name="l00330"></a><span class="lineno">  330</span>&#160;<span class="comment">                        &quot;may be accessed.&quot;);</span></div>
<div class="line"><a name="l00331"></a><span class="lineno">  331</span>&#160;<span class="comment">                     * */</span></div>
<div class="line"><a name="l00332"></a><span class="lineno">  332</span>&#160;                    <span class="keywordflow">return</span>;</div>
<div class="line"><a name="l00333"></a><span class="lineno">  333</span>&#160;                }</div>
<div class="line"><a name="l00334"></a><span class="lineno">  334</span>&#160;            }</div>
<div class="line"><a name="l00335"></a><span class="lineno">  335</span>&#160;        }</div>
<div class="line"><a name="l00336"></a><span class="lineno">  336</span>&#160;</div>
<div class="line"><a name="l00337"></a><span class="lineno">  337</span>&#160;        <span class="keyword">private</span> <span class="keywordtype">void</span> PostProcess()</div>
<div class="line"><a name="l00338"></a><span class="lineno">  338</span>&#160;        {</div>
<div class="line"><a name="l00339"></a><span class="lineno">  339</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_meta_1_1_code_descriptor.html">CodeDescriptor</a> cd <span class="keywordflow">in</span> _allMethods)</div>
<div class="line"><a name="l00340"></a><span class="lineno">  340</span>&#160;            {</div>
<div class="line"><a name="l00341"></a><span class="lineno">  341</span>&#160;                var iva = InductionVariableAnalyzer.Run(cd.GenuineImplementation.Body);</div>
<div class="line"><a name="l00342"></a><span class="lineno">  342</span>&#160;                var locals = cd.Implementation.LocalVariables;</div>
<div class="line"><a name="l00343"></a><span class="lineno">  343</span>&#160;                var vrcs = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_code_descriptor_1_1_value_range_constraint.html">CodeDescriptor.ValueRangeConstraint</a>[locals.Count];</div>
<div class="line"><a name="l00344"></a><span class="lineno">  344</span>&#160;                <span class="keywordflow">for</span> (<span class="keywordtype">int</span> i = 0; i &lt; locals.Count; i++)</div>
<div class="line"><a name="l00345"></a><span class="lineno">  345</span>&#160;                {</div>
<div class="line"><a name="l00346"></a><span class="lineno">  346</span>&#160;                    var loc = locals[i] as <a class="code" href="class_system_sharp_1_1_sys_d_o_m_1_1_variable.html">Variable</a>;</div>
<div class="line"><a name="l00347"></a><span class="lineno">  347</span>&#160;                    <span class="keywordflow">if</span> (loc != null &amp;&amp; iva.IsConstrained(loc))</div>
<div class="line"><a name="l00348"></a><span class="lineno">  348</span>&#160;                    {</div>
<div class="line"><a name="l00349"></a><span class="lineno">  349</span>&#160;                        <span class="keywordtype">long</span> min, max;</div>
<div class="line"><a name="l00350"></a><span class="lineno">  350</span>&#160;                        iva.GetRange(loc, out min, out max);</div>
<div class="line"><a name="l00351"></a><span class="lineno">  351</span>&#160;                        vrcs[i] = <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_code_descriptor_1_1_value_range_constraint.html">CodeDescriptor.ValueRangeConstraint</a>(min, max);</div>
<div class="line"><a name="l00352"></a><span class="lineno">  352</span>&#160;                    }</div>
<div class="line"><a name="l00353"></a><span class="lineno">  353</span>&#160;                    <span class="keywordflow">else</span></div>
<div class="line"><a name="l00354"></a><span class="lineno">  354</span>&#160;                        vrcs[i] = CodeDescriptor.ValueRangeConstraint.Unconstrained;</div>
<div class="line"><a name="l00355"></a><span class="lineno">  355</span>&#160;                }</div>
<div class="line"><a name="l00356"></a><span class="lineno">  356</span>&#160;                cd.ValueRangeConstraints = vrcs;</div>
<div class="line"><a name="l00357"></a><span class="lineno">  357</span>&#160;            }</div>
<div class="line"><a name="l00358"></a><span class="lineno">  358</span>&#160;        }</div>
<div class="line"><a name="l00359"></a><span class="lineno">  359</span>&#160;</div>
<div class="line"><a name="l00360"></a><span class="lineno">  360</span>&#160;        <span class="keyword">private</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_behavioral_analyzer.html">BehavioralAnalyzer</a>(<a class="code" href="class_system_sharp_1_1_components_1_1_design_context.html">DesignContext</a> context)</div>
<div class="line"><a name="l00361"></a><span class="lineno">  361</span>&#160;        {</div>
<div class="line"><a name="l00362"></a><span class="lineno">  362</span>&#160;            _context = context;</div>
<div class="line"><a name="l00363"></a><span class="lineno">  363</span>&#160;            context.InvalidateUniverse();</div>
<div class="line"><a name="l00364"></a><span class="lineno">  364</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_components_1_1_component.html">Component</a> component <span class="keywordflow">in</span> context.<a class="code" href="class_system_sharp_1_1_components_1_1_design_context.html#a25f6c32d12269de6832ba5cde2cf956b">Components</a>)</div>
<div class="line"><a name="l00365"></a><span class="lineno">  365</span>&#160;            {</div>
<div class="line"><a name="l00366"></a><span class="lineno">  366</span>&#160;                component.Descriptor.Package = GetPackageDescriptor(component.GetType());</div>
<div class="line"><a name="l00367"></a><span class="lineno">  367</span>&#160;                FactUniverse.Instance.AddType(component.GetType());</div>
<div class="line"><a name="l00368"></a><span class="lineno">  368</span>&#160;            }</div>
<div class="line"><a name="l00369"></a><span class="lineno">  369</span>&#160;</div>
<div class="line"><a name="l00370"></a><span class="lineno">  370</span>&#160;            IList&lt;Process&gt; processes = context.Processes;</div>
<div class="line"><a name="l00371"></a><span class="lineno">  371</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_components_1_1_process.html">Process</a> process <span class="keywordflow">in</span> processes)</div>
<div class="line"><a name="l00372"></a><span class="lineno">  372</span>&#160;            {</div>
<div class="line"><a name="l00373"></a><span class="lineno">  373</span>&#160;                <span class="keywordflow">if</span> (process.<a class="code" href="class_system_sharp_1_1_components_1_1_process.html#a93de3ff96241938372856cb1c58c0ea3">Owner</a>.<a class="code" href="class_system_sharp_1_1_components_1_1_component.html#a0fbf3618498aec1964b817cdd0742890">Descriptor</a>.HasForeignImplementation ||</div>
<div class="line"><a name="l00374"></a><span class="lineno">  374</span>&#160;                    process.<a class="code" href="class_system_sharp_1_1_components_1_1_process.html#a876101ec73dbe1ebb98b3efb588f664b">IsDoNotAnalyze</a>)</div>
<div class="line"><a name="l00375"></a><span class="lineno">  375</span>&#160;                    <span class="keywordflow">continue</span>;</div>
<div class="line"><a name="l00376"></a><span class="lineno">  376</span>&#160;</div>
<div class="line"><a name="l00377"></a><span class="lineno">  377</span>&#160;                <span class="comment">//if (process.InitialAction.IsAsync())</span></div>
<div class="line"><a name="l00378"></a><span class="lineno">  378</span>&#160;                <span class="comment">//    FactUniverse.Instance.AddMethod(process.InitialAction.Method);</span></div>
<div class="line"><a name="l00379"></a><span class="lineno">  379</span>&#160;                <span class="comment">//var entryPoint = process.InitialAction.UnwrapEntryPoint();</span></div>
<div class="line"><a name="l00380"></a><span class="lineno">  380</span>&#160;                FactUniverse.Instance.AddMethod(process.InitialAction.Method);</div>
<div class="line"><a name="l00381"></a><span class="lineno">  381</span>&#160;                FactUniverse.Instance.GetFacts(process.InitialAction.Method).</div>
<div class="line"><a name="l00382"></a><span class="lineno">  382</span>&#160;                    RegisterThisCandidate(<span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_const_object_source.html">ConstObjectSource</a>(process.<a class="code" href="class_system_sharp_1_1_components_1_1_process.html#a05456efddc251a7df504ca041d77054b">InitialAction</a>.Target));</div>
<div class="line"><a name="l00383"></a><span class="lineno">  383</span>&#160;<span class="preprocessor">#if false</span></div>
<div class="line"><a name="l00384"></a><span class="lineno">  384</span>&#160;<span class="preprocessor"></span>                TransactingComponent.TATarget[] coFSMs = process.GetCoFSMs();</div>
<div class="line"><a name="l00385"></a><span class="lineno">  385</span>&#160;                <span class="keywordflow">if</span> (coFSMs != null)</div>
<div class="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;                {</div>
<div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;                    <span class="keywordflow">foreach</span> (TransactingComponent.TATarget coFSM in coFSMs)</div>
<div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;                    {</div>
<div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;                        <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_components_1_1_transactions_1_1_t_a_verb.html">TAVerb</a> verb <span class="keywordflow">in</span> coFSM.NeutralTA)</div>
<div class="line"><a name="l00390"></a><span class="lineno">  390</span>&#160;                        {</div>
<div class="line"><a name="l00391"></a><span class="lineno">  391</span>&#160;                            FactUniverse.Instance.AddMethod(verb.Op.Method);</div>
<div class="line"><a name="l00392"></a><span class="lineno">  392</span>&#160;                        }</div>
<div class="line"><a name="l00393"></a><span class="lineno">  393</span>&#160;                    }</div>
<div class="line"><a name="l00394"></a><span class="lineno">  394</span>&#160;                }</div>
<div class="line"><a name="l00395"></a><span class="lineno">  395</span>&#160;<span class="preprocessor">#endif</span></div>
<div class="line"><a name="l00396"></a><span class="lineno">  396</span>&#160;<span class="preprocessor"></span>            }</div>
<div class="line"><a name="l00397"></a><span class="lineno">  397</span>&#160;            FactUniverse.Instance.Complete();</div>
<div class="line"><a name="l00398"></a><span class="lineno">  398</span>&#160;            </div>
<div class="line"><a name="l00399"></a><span class="lineno">  399</span>&#160;            <span class="keywordflow">foreach</span> (<a class="code" href="class_system_sharp_1_1_components_1_1_process.html">Process</a> process <span class="keywordflow">in</span> processes)</div>
<div class="line"><a name="l00400"></a><span class="lineno">  400</span>&#160;            {</div>
<div class="line"><a name="l00401"></a><span class="lineno">  401</span>&#160;                <span class="keywordflow">if</span> (process.<a class="code" href="class_system_sharp_1_1_components_1_1_process.html#a93de3ff96241938372856cb1c58c0ea3">Owner</a>.<a class="code" href="class_system_sharp_1_1_components_1_1_component.html#a0fbf3618498aec1964b817cdd0742890">Descriptor</a>.HasForeignImplementation ||</div>
<div class="line"><a name="l00402"></a><span class="lineno">  402</span>&#160;                    process.<a class="code" href="class_system_sharp_1_1_components_1_1_process.html#a876101ec73dbe1ebb98b3efb588f664b">IsDoNotAnalyze</a>)</div>
<div class="line"><a name="l00403"></a><span class="lineno">  403</span>&#160;                    <span class="keywordflow">continue</span>;</div>
<div class="line"><a name="l00404"></a><span class="lineno">  404</span>&#160;                <span class="keywordflow">if</span> (process.AnalysisGeneration &lt; context.<a class="code" href="class_system_sharp_1_1_components_1_1_design_context.html#a3cf1fc2a2b6b5e97303ade7635b28d95">CurrentRefinementCycle</a>)</div>
<div class="line"><a name="l00405"></a><span class="lineno">  405</span>&#160;                    <span class="keywordflow">continue</span>;</div>
<div class="line"><a name="l00406"></a><span class="lineno">  406</span>&#160;                AnalyzeProcess(process);</div>
<div class="line"><a name="l00407"></a><span class="lineno">  407</span>&#160;            }</div>
<div class="line"><a name="l00408"></a><span class="lineno">  408</span>&#160;</div>
<div class="line"><a name="l00409"></a><span class="lineno">  409</span>&#160;            ProcessMethodWorkSet();</div>
<div class="line"><a name="l00410"></a><span class="lineno">  410</span>&#160;            PostProcess();</div>
<div class="line"><a name="l00411"></a><span class="lineno">  411</span>&#160;</div>
<div class="line"><a name="l00412"></a><span class="lineno">  412</span>&#160;            <span class="comment">//SubprogramsDontDriveSignals sdds = new SubprogramsDontDriveSignals();</span></div>
<div class="line"><a name="l00413"></a><span class="lineno">  413</span>&#160;            <span class="comment">//sdds.ApplyTo(context);</span></div>
<div class="line"><a name="l00414"></a><span class="lineno">  414</span>&#160;        }</div>
<div class="line"><a name="l00415"></a><span class="lineno">  415</span>&#160;</div>
<div class="line"><a name="l00416"></a><span class="lineno">  416</span>&#160;        <span class="keyword">internal</span> <span class="keyword">static</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_design_descriptor.html">DesignDescriptor</a> DoBehavioralAnalysis(<a class="code" href="class_system_sharp_1_1_components_1_1_design_context.html">DesignContext</a> context)</div>
<div class="line"><a name="l00417"></a><span class="lineno">  417</span>&#160;        {</div>
<div class="line"><a name="l00418"></a><span class="lineno">  418</span>&#160;            <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_analysis_1_1_behavioral_analyzer.html">BehavioralAnalyzer</a>(context);</div>
<div class="line"><a name="l00419"></a><span class="lineno">  419</span>&#160;            <span class="keywordflow">return</span> <span class="keyword">new</span> <a class="code" href="class_system_sharp_1_1_meta_1_1_design_descriptor.html">DesignDescriptor</a>(context);</div>
<div class="line"><a name="l00420"></a><span class="lineno">  420</span>&#160;        }</div>
<div class="line"><a name="l00421"></a><span class="lineno">  421</span>&#160;    }</div>
<div class="line"><a name="l00422"></a><span class="lineno">  422</span>&#160;}</div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_method_call_info_html_a314c08b450e997c9546dd0c9852bb029"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_method_call_info.html#a314c08b450e997c9546dd0c9852bb029">SystemSharp.Analysis.MethodCallInfo.EvaluatedArgumentsWithoutThis</a></div><div class="ttdeci">object[] EvaluatedArgumentsWithoutThis</div><div class="ttdoc">Returns respective sample values for the arguments, but never including instance </div><div class="ttdef"><b>Definition:</b> <a href="_m_s_i_l_decompiler_8cs_source.html#l00339">MSILDecompiler.cs:339</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_package_descriptor_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_package_descriptor.html">SystemSharp.Meta.PackageDescriptor</a></div><div class="ttdoc">Describes a package. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01969">ComponentsReflection.cs:1969</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_process_html_acd1831e67cad2d97f8c82236790e43d7"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_process.html#acd1831e67cad2d97f8c82236790e43d7">SystemSharp.Components.Process.Sensitivity</a></div><div class="ttdeci">AbstractEvent[] Sensitivity</div><div class="ttdoc">The process sensitivity list </div><div class="ttdef"><b>Definition:</b> <a href="_process_core_8cs_source.html#l00888">ProcessCore.cs:888</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_design_context_html_a25f6c32d12269de6832ba5cde2cf956b"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_design_context.html#a25f6c32d12269de6832ba5cde2cf956b">SystemSharp.Components.DesignContext.Components</a></div><div class="ttdeci">ReadOnlyCollection&lt; Component &gt; Components</div><div class="ttdoc">Returns a collection of components which are associated with this simulation context. </div><div class="ttdef"><b>Definition:</b> <a href="_design_context_8cs_source.html#l00402">DesignContext.cs:402</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_process_html_a05456efddc251a7df504ca041d77054b"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_process.html#a05456efddc251a7df504ca041d77054b">SystemSharp.Components.Process.InitialAction</a></div><div class="ttdeci">Action InitialAction</div><div class="ttdef"><b>Definition:</b> <a href="_process_core_8cs_source.html#l00882">ProcessCore.cs:882</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_process_html_a876101ec73dbe1ebb98b3efb588f664b"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_process.html#a876101ec73dbe1ebb98b3efb588f664b">SystemSharp.Components.Process.IsDoNotAnalyze</a></div><div class="ttdeci">bool IsDoNotAnalyze</div><div class="ttdoc">Returns true iff this process is tagged with an attribute implementing IDoNotAnalyze. </div><div class="ttdef"><b>Definition:</b> <a href="_process_core_8cs_source.html#l01167">ProcessCore.cs:1167</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_component_html_a0fbf3618498aec1964b817cdd0742890"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_component.html#a0fbf3618498aec1964b817cdd0742890">SystemSharp.Components.Component.Descriptor</a></div><div class="ttdeci">ComponentDescriptor Descriptor</div><div class="ttdoc">The associated component descriptor </div><div class="ttdef"><b>Definition:</b> <a href="_component_8cs_source.html#l00423">Component.cs:423</a></div></div>
<div class="ttc" id="namespace_system_sharp_1_1_analysis_1_1_msil_html_a414dbb6e07d44baf0e522f23507f6b04"><div class="ttname"><a href="namespace_system_sharp_1_1_analysis_1_1_msil.html#a414dbb6e07d44baf0e522f23507f6b04">SystemSharp.Analysis.Msil.EVariability</a></div><div class="ttdeci">EVariability</div><div class="ttdoc">Variability classification </div><div class="ttdef"><b>Definition:</b> <a href="_variability_analysis_8cs_source.html#l00050">VariabilityAnalysis.cs:50</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_transactions_1_1_t_a_verb_html"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_transactions_1_1_t_a_verb.html">SystemSharp.Components.Transactions.TAVerb</a></div><div class="ttdoc">A transaction verb is the base element of a clocked transaction. It describes the register transfers ...</div><div class="ttdef"><b>Definition:</b> <a href="_transactions_8cs_source.html#l00050">Transactions.cs:50</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_code_descriptor_html_a223dffef12b00e67f5c3a16a168d5de7"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_code_descriptor.html#a223dffef12b00e67f5c3a16a168d5de7">SystemSharp.Meta.CodeDescriptor.Method</a></div><div class="ttdeci">MethodBase Method</div><div class="ttdoc">CLI information on the actual method implementation. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01528">ComponentsReflection.cs:1528</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_field_ref_info_html_aab9d9091c5da933510b96d70c67effd9"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#aab9d9091c5da933510b96d70c67effd9">SystemSharp.Analysis.FieldRefInfo.IsWritten</a></div><div class="ttdeci">bool IsWritten</div><div class="ttdoc">Whether the field is written </div><div class="ttdef"><b>Definition:</b> <a href="_m_s_i_l_decompiler_8cs_source.html#l00433">MSILDecompiler.cs:433</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_design_descriptor_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_design_descriptor.html">SystemSharp.Meta.DesignDescriptor</a></div><div class="ttdoc">Describes the overall design. This is the root component of the design hierarchy. ...</div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l02171">ComponentsReflection.cs:2171</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_method_descriptor_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_method_descriptor.html">SystemSharp.Meta.MethodDescriptor</a></div><div class="ttdoc">Describes a method. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01702">ComponentsReflection.cs:1702</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_a6332f1bbbf7abf8abcabe24198fa8221"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a6332f1bbbf7abf8abcabe24198fa8221">SystemSharp.Analysis.FactUniverse.Instance</a></div><div class="ttdeci">static FactUniverse Instance</div><div class="ttdoc">An instance of this class is tied to each DesignContext instance. Therefore returns the instance belo...</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00163">FactUniverse.cs:163</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_meta_1_1_i_package_or_component_descriptor_html"><div class="ttname"><a href="interface_system_sharp_1_1_meta_1_1_i_package_or_component_descriptor.html">SystemSharp.Meta.IPackageOrComponentDescriptor</a></div><div class="ttdoc">This interface describes the common properties of packages and components. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01892">ComponentsReflection.cs:1892</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_abstract_event_html"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_abstract_event.html">SystemSharp.Components.AbstractEvent</a></div><div class="ttdoc">Abstract base class for events </div><div class="ttdef"><b>Definition:</b> <a href="_event_8cs_source.html#l00035">Event.cs:35</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_map_to_intrinsic_type_html"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_map_to_intrinsic_type.html">SystemSharp.Components.MapToIntrinsicType</a></div><div class="ttdoc">Indicates that the tagged class or interface is considered to be System#-intrinsic type...</div><div class="ttdef"><b>Definition:</b> <a href="_components_attributes_8cs_source.html#l00987">ComponentsAttributes.cs:987</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_variable_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_variable.html">SystemSharp.SysDOM.Variable</a></div><div class="ttdoc">A local variable. </div><div class="ttdef"><b>Definition:</b> <a href="_literals_8cs_source.html#l00195">Literals.cs:195</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_field_ref_info_html_a12e523ea2f5e76d764e745e973e9f827"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#a12e523ea2f5e76d764e745e973e9f827">SystemSharp.Analysis.FieldRefInfo.Field</a></div><div class="ttdeci">FieldInfo Field</div><div class="ttdoc">The field being accessed </div><div class="ttdef"><b>Definition:</b> <a href="_m_s_i_l_decompiler_8cs_source.html#l00423">MSILDecompiler.cs:423</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_sys_d_o_m_1_1_function_html"><div class="ttname"><a href="class_system_sharp_1_1_sys_d_o_m_1_1_function.html">SystemSharp.SysDOM.Function</a></div><div class="ttdoc">Models a SysDOM function. </div><div class="ttdef"><b>Definition:</b> <a href="_algorithms_8cs_source.html#l01562">Algorithms.cs:1562</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html">SystemSharp.Analysis.FactUniverse</a></div><div class="ttdoc">This class captures information on all relevant objects discovered during analysis, i.e. types, instantiated classes, called methods, and memory allocations. </div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00157">FactUniverse.cs:157</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_field_ref_info_html_a540480df2cc80dd1fc1e9f4ccefb9b00"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html#a540480df2cc80dd1fc1e9f4ccefb9b00">SystemSharp.Analysis.FieldRefInfo.IsRead</a></div><div class="ttdeci">bool IsRead</div><div class="ttdoc">Whether the field is read </div><div class="ttdef"><b>Definition:</b> <a href="_m_s_i_l_decompiler_8cs_source.html#l00428">MSILDecompiler.cs:428</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_process_descriptor_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_process_descriptor.html">SystemSharp.Meta.ProcessDescriptor</a></div><div class="ttdoc">Describes a process. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01630">ComponentsReflection.cs:1630</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_design_context_html_a3cf1fc2a2b6b5e97303ade7635b28d95"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_design_context.html#a3cf1fc2a2b6b5e97303ade7635b28d95">SystemSharp.Components.DesignContext.CurrentRefinementCycle</a></div><div class="ttdeci">int CurrentRefinementCycle</div><div class="ttdoc">Refinement cycle counter </div><div class="ttdef"><b>Definition:</b> <a href="_design_context_8cs_source.html#l01032">DesignContext.cs:1032</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_code_descriptor_1_1_value_range_constraint_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_code_descriptor_1_1_value_range_constraint.html">SystemSharp.Meta.CodeDescriptor.ValueRangeConstraint</a></div><div class="ttdoc">Describes a possible constraint on the value range of a variable. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01478">ComponentsReflection.cs:1478</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_method_call_info_html_a4eb05e710e0a5382b1dab6e27766af96"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_method_call_info.html#a4eb05e710e0a5382b1dab6e27766af96">SystemSharp.Analysis.MethodCallInfo.ArgumentVariabilities</a></div><div class="ttdeci">EVariability[] ArgumentVariabilities</div><div class="ttdoc">Variabilities of respective arguments </div><div class="ttdef"><b>Definition:</b> <a href="_m_s_i_l_decompiler_8cs_source.html#l00211">MSILDecompiler.cs:211</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_code_descriptor_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_code_descriptor.html">SystemSharp.Meta.CodeDescriptor</a></div><div class="ttdoc">This abstract class describes code in the CLI and SysDOM domain. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01472">ComponentsReflection.cs:1472</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_design_context_html"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_design_context.html">SystemSharp.Components.DesignContext</a></div><div class="ttdoc">This class encapsulates the simulation context. Each design has an associated simulation context...</div><div class="ttdef"><b>Definition:</b> <a href="_design_context_8cs_source.html#l00047">DesignContext.cs:47</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_const_object_source_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_const_object_source.html">SystemSharp.Analysis.ConstObjectSource</a></div><div class="ttdoc">Describes a somehow constant object </div><div class="ttdef"><b>Definition:</b> <a href="_sources_and_mutations_8cs_source.html#l00465">SourcesAndMutations.cs:465</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_m_s_i_l_decompiler_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_m_s_i_l_decompiler.html">SystemSharp.Analysis.MSILDecompiler</a></div><div class="ttdoc">This class represents a decompiler for CLI methods </div><div class="ttdef"><b>Definition:</b> <a href="_m_s_i_l_decompiler_8cs_source.html#l04439">MSILDecompiler.cs:4439</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_msil_1_1_variability_pattern_html_a59c8cd2cf934caeafaf83d9f0a70082f"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_msil_1_1_variability_pattern.html#a59c8cd2cf934caeafaf83d9f0a70082f">SystemSharp.Analysis.Msil.VariabilityPattern.CreateDefault</a></div><div class="ttdeci">static VariabilityPattern CreateDefault(MethodBase method)</div><div class="ttdoc">Creates an instance which represents the arguments of a given method. I.e. each argument is assument ...</div><div class="ttdef"><b>Definition:</b> <a href="_variability_analysis_8cs_source.html#l00297">VariabilityAnalysis.cs:297</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_fact_universe_html_a32156668326303f20c83b5b60600be15"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_fact_universe.html#a32156668326303f20c83b5b60600be15">SystemSharp.Analysis.FactUniverse.HaveFacts</a></div><div class="ttdeci">bool HaveFacts(MethodBase method)</div><div class="ttdoc">Queries whether the universe contains information on a particular method or constructor ...</div><div class="ttdef"><b>Definition:</b> <a href="_fact_universe_8cs_source.html#l00349">FactUniverse.cs:349</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_process_html_a93de3ff96241938372856cb1c58c0ea3"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_process.html#a93de3ff96241938372856cb1c58c0ea3">SystemSharp.Components.Process.Owner</a></div><div class="ttdeci">Component Owner</div><div class="ttdoc">Returns the component which hosts this process. </div><div class="ttdef"><b>Definition:</b> <a href="_process_core_8cs_source.html#l00871">ProcessCore.cs:871</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_signal_base_html"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_signal_base.html">SystemSharp.Components.SignalBase</a></div><div class="ttdoc">This is the abstract base class of a signal. </div><div class="ttdef"><b>Definition:</b> <a href="_signals_core_8cs_source.html#l00338">SignalsCore.cs:338</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_argument_descriptor_html"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_argument_descriptor.html">SystemSharp.Meta.ArgumentDescriptor</a></div><div class="ttdoc">Describes a method argument. </div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01272">ComponentsReflection.cs:1272</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_field_ref_info_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_field_ref_info.html">SystemSharp.Analysis.FieldRefInfo</a></div><div class="ttdoc">This class provides contextual information to an instruction which references a field. </div><div class="ttdef"><b>Definition:</b> <a href="_m_s_i_l_decompiler_8cs_source.html#l00418">MSILDecompiler.cs:418</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_process_html"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_process.html">SystemSharp.Components.Process</a></div><div class="ttdoc">This class represents a process. </div><div class="ttdef"><b>Definition:</b> <a href="_process_core_8cs_source.html#l00794">ProcessCore.cs:794</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_async_method_decompiler_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_async_method_decompiler.html">SystemSharp.Analysis.AsyncMethodDecompiler</a></div><div class="ttdoc">This class provides functionality to decompile async methods. </div><div class="ttdef"><b>Definition:</b> <a href="_async_state_machines_8cs_source.html#l00214">AsyncStateMachines.cs:214</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_rewrite_method_definition_html"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_rewrite_method_definition.html">SystemSharp.Components.RewriteMethodDefinition</a></div><div class="ttdoc">This attribute is attached to method definitions and indicates that the method body is subject to som...</div><div class="ttdef"><b>Definition:</b> <a href="_components_attributes_8cs_source.html#l00868">ComponentsAttributes.cs:868</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_design_object_html"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_design_object.html">SystemSharp.Components.DesignObject</a></div><div class="ttdoc">The DesignObject is the abstract base class of M0 modeling classes, such as Component and Channel...</div><div class="ttdef"><b>Definition:</b> <a href="_components_core_8cs_source.html#l00045">ComponentsCore.cs:45</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_msil_1_1_variability_pattern_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_msil_1_1_variability_pattern.html">SystemSharp.Analysis.Msil.VariabilityPattern</a></div><div class="ttdoc">Represents a sequence of variability classifications </div><div class="ttdef"><b>Definition:</b> <a href="_variability_analysis_8cs_source.html#l00285">VariabilityAnalysis.cs:285</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_meta_1_1_argument_descriptor_html_a55ab29c171c7e9330c0f535e1dd84346"><div class="ttname"><a href="class_system_sharp_1_1_meta_1_1_argument_descriptor.html#a55ab29c171c7e9330c0f535e1dd84346">SystemSharp.Meta.ArgumentDescriptor.TypeAndDirectionComparer</a></div><div class="ttdeci">static readonly IEqualityComparer&lt; ArgumentDescriptor &gt; TypeAndDirectionComparer</div><div class="ttdoc">An equality comparer which compares argument descriptors based on their type and direction (i...</div><div class="ttdef"><b>Definition:</b> <a href="_components_reflection_8cs_source.html#l01389">ComponentsReflection.cs:1389</a></div></div>
<div class="ttc" id="interface_system_sharp_1_1_analysis_1_1_i_decompilation_result_html"><div class="ttname"><a href="interface_system_sharp_1_1_analysis_1_1_i_decompilation_result.html">SystemSharp.Analysis.IDecompilationResult</a></div><div class="ttdoc">This interface models the result of a decompilation </div><div class="ttdef"><b>Definition:</b> <a href="_m_s_i_l_decompiler_8cs_source.html#l04418">MSILDecompiler.cs:4418</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_behavioral_analyzer_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_behavioral_analyzer.html">SystemSharp.Analysis.BehavioralAnalyzer</a></div><div class="ttdef"><b>Definition:</b> <a href="_behavioral_analysis_8cs_source.html#l00069">BehavioralAnalysis.cs:69</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_components_1_1_component_html"><div class="ttname"><a href="class_system_sharp_1_1_components_1_1_component.html">SystemSharp.Components.Component</a></div><div class="ttdoc">The abstract base class for defining components. </div><div class="ttdef"><b>Definition:</b> <a href="_component_8cs_source.html#l00038">Component.cs:38</a></div></div>
<div class="ttc" id="class_system_sharp_1_1_analysis_1_1_method_call_info_html"><div class="ttname"><a href="class_system_sharp_1_1_analysis_1_1_method_call_info.html">SystemSharp.Analysis.MethodCallInfo</a></div><div class="ttdoc">This class gathers contextual information about a method call. </div><div class="ttdef"><b>Definition:</b> <a href="_m_s_i_l_decompiler_8cs_source.html#l00188">MSILDecompiler.cs:188</a></div></div>
</div><!-- fragment --></div><!-- contents -->
</div><!-- doc-content -->
<!-- start footer part -->
<div id="nav-path" class="navpath"><!-- id is needed for treeview function! -->
  <ul>
    <li class="navelem"><a class="el" href="dir_bb5e995590685548b7e11478911ee7c3.html">SystemSharp-Google-SVN</a></li><li class="navelem"><a class="el" href="dir_8deefa4467a62b572b52d238d562b104.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_0e5a72156f8560bbc472a395da2569d6.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_9d3c30b4336bd92c64ccf0aeee487ace.html">SystemSharp</a></li><li class="navelem"><a class="el" href="dir_d5bda8a155622a5a3d520660116af4c1.html">Analysis</a></li><li class="navelem"><a class="el" href="_behavioral_analysis_8cs.html">BehavioralAnalysis.cs</a></li>
    <li class="footer">Generated on Thu Dec 26 2013 14:21:37 for SystemSharp by
    <a href="http://www.doxygen.org/index.html">
    <img class="footer" src="doxygen.png" alt="doxygen"/></a> 1.8.6 </li>
  </ul>
</div>
</body>
</html>
